efficient deterministic replay of multithreaded executions published presentations and documents on DocSlides.